2

Künstliche Intelligenz

Year:
2011
Language:
german
File:
PDF, 143 KB
german, 2011
3

[Lecture Notes in Computer Science] KI 2005: Advances in Artificial Intelligence Volume 3698 ||

Year:
2005
Language:
english
File:
PDF, 6.86 MB
english, 2005
4

Computing answers with model elimination

Year:
1997
Language:
english
File:
PDF, 2.84 MB
english, 1997
5

Modelling the combination of functional and logic programming languages

Year:
1986
Language:
english
File:
PDF, 819 KB
english, 1986
6

AI—A multiple book review

Year:
2003
Language:
english
File:
PDF, 77 KB
english, 2003
7

Turing und Künstliche Intelligenz

Year:
2012
Language:
german
File:
PDF, 199 KB
german, 2012
17

Formal specification methods for reactive systems

Year:
1993
Language:
english
File:
PDF, 1.32 MB
english, 1993
21

Horn equational theories and paramodulation

Year:
1989
Language:
english
File:
PDF, 1.50 MB
english, 1989
22

Model elimination without contrapositives and its application to PTTP

Year:
1994
Language:
english
File:
PDF, 1.48 MB
english, 1994
23

Compact high-energy picosecond laser for micromachining applications

Year:
2004
Language:
english
File:
PDF, 477 KB
english, 2004
24

Generation of 8-fs pulses at 390

Year:
2000
Language:
english
File:
PDF, 104 KB
english, 2000
25

Living Book – Deduction, Slicing, and Interaction

Year:
2004
Language:
english
File:
PDF, 364 KB
english, 2004
26

IJCAR Preface

Year:
2008
Language:
english
File:
PDF, 110 KB
english, 2008
27

Logic-Based Question Answering

Year:
2010
Language:
english
File:
PDF, 544 KB
english, 2010
28

Vom Schmuddelkind zum Fachbereich

Year:
2011
Language:
german
File:
PDF, 191 KB
german, 2011
29

The enigmatic cytochrome b-559 of oxygenic photosynthesis

Year:
1993
Language:
english
File:
PDF, 695 KB
english, 1993
31

Living Book – Deduction, Slicing, and Interaction

Year:
2004
Language:
english
File:
PDF, 337 KB
english, 2004
35

Neue Medien? – Neue Uni!

Year:
2012
Language:
german
File:
PDF, 128 KB
german, 2012
38

Chemistry and artists' pigments

Year:
1985
Language:
english
File:
PDF, 2.95 MB
english, 1985
39

The cytochrome b6f complex

Year:
1994
Language:
english
File:
PDF, 914 KB
english, 1994